-complete Models for System F

نویسندگان

  • Stefano Berardi
  • Chantal Berline
چکیده

We show that the model of system F introduced in 5], and having as polymorphic maps exactly all Scott continuous maps, is-complete. This proves in particular the existence of non trivial-complete models for F: 1 Introduction.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cure Kinetic of Polyurethane/Fluorinated POSS Hybrid

One of the decisive factors in obtaining the desired properties in coatings is their complete curing, which necessitates the study of kinetics of curing. In recent years, many studies have been conducted on the use of polyhedral oligomeric silsesquioxane (POSS) in coatings. Creating functional groups on POSS and using it in formulation can create new or improve the properties of coatings. I...

متن کامل

Developing Fuzzy Models for Estimating the Quality of VoIP

This paper presents a novel method for modeling the one-way quality prediction of VoIP, non-intrusively. Intrusive measures of voice quality suffer from common deficiency that is the need of reference signal for evaluating the quality of voice. Owing to this lack, a great deal of effort has been recently devoted for modeling voice quality prediction non-intrusively according to quality degradat...

متن کامل

Fully Complete Models for ML Polymorphic Types

We present an axiomatic characterization of models fully-complete for ML-polymorphic types of system F. This axiomatization is given for hyperdoctrine models, which arise as adjoint models, i.e. co-Kleisli categories of suitable linear categories. Examples of adjoint models can be obtained from categories of Partial Equivalence Relations over Linear Combinatory Algebras. We show that a special ...

متن کامل

ADAPTIVE NEURO-FUZZY INFERENCE SYSTEM OPTIMIZATION USING PSO FOR PREDICTING SEDIMENT TRANSPORT IN SEWERS

The flow in sewers is a complete three phase flow (air, water and sediment). The mechanism of sediment transport in sewers is very important. In other words, the passing flow must able to wash deposited sediments and the design should be done in an economic and optimized way. In this study, the sediment transport process in sewers is simulated using a hybrid model. In other words, using the Ada...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998